<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="refresh" content="0;../1.3/"/>
  </head>
  <body>Redirecting to <a href="../1.3/">1.3</a></body>
</html>

